Update nuke_format so that it's safe (enough) to handle the bulk deletion
authorRobert Lipe <robertlipe@gmail.com>
Thu, 9 Dec 2021 06:59:15 +0000 (01:59 -0500)
committerRobert Lipe <robertlipe@gmail.com>
Thu, 9 Dec 2021 06:59:15 +0000 (01:59 -0500)
commitda7ae5961b68121065a0adc00b9e44a05e177cf3
tree3b3cc0e39d568d3f43354a3ef188eea96b311efc
parentd9dcfd96f42951bd164d3627b466cb4b9ada69ec
Update nuke_format so that it's safe (enough) to handle the bulk deletion
to get rid of most of our older and unused formats. Some hand tuning may
still be needed
tools/nuke_format
tools/reset_nuke [new file with mode: 0755]